Aristotle's Logic: Categories & Porphyry's Tree